]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5d9258) | patch
workspace: Account for window picker padding
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 26 Jun 2020 00:56:35 +0000 (02:56 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Mon, 6 Jul 2020 22:06:53 +0000 (00:06 +0200)
commit124eb1ca187928b07cc333c0134491a1edd05a77
treec42b6b8e5b77216aa07f3b32053806b07b0a0d38tree | snapshot
parentb5d925817fbeafaf44ee54a4c768c27f4945a9f6commit | diff
workspace: Account for window picker padding

Workspaces are supposed to request the work area as their preferred
size, however the widget will adjust the sizes returned by the
layout manager to account for borders and padding.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1345
js/ui/workspace.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.